New Characterization of Skeleton of Finite Distributive Lattice
نویسندگان
چکیده
In the paper we introduce the notion of →-irreducibility and we show that the set of all →-irreducible elements of a finite Heyting lattice L forms the skeleton of L. We also discuss a parallel concept of ↔-irreducibility and give a similar characterization. Finally, we present generalizations of these results for some class of infinite Heyting lattices.
منابع مشابه
Products of Skeletons of Finite Distributive Lattices
We prove that the skeleton of a product of finitely many finite distributive lattices is isomorphic to the product of skeletons of its factors. Thus, it is possible to construct finite distributive lattices with a given directly reducible skeleton by reducing the problem to the skeleton factors. Although not all possible lattices can be obtained this way, we show that it works for the smallest ...
متن کاملA new approach to characterization of MV-algebras
By considering the notion of MV-algebras, we recall some results on enumeration of MV-algebras and wecarry out a study on characterization of MV-algebras of orders $2$, $3$, $4$, $5$, $6$ and $7$. We obtain that there is one non-isomorphic MV-algebra of orders $2$, $3$, $5$ and $7$ and two non-isomorphic MV-algebras of orders $4$ and $6$.
متن کاملFUZZY ORDERED SETS AND DUALITY FOR FINITE FUZZY DISTRIBUTIVE LATTICES
The starting point of this paper is given by Priestley’s papers, where a theory of representation of distributive lattices is presented. The purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. In this way, some results of Priestley’s papers are extended. In the main theorem, we show that the category of finite fuzzy Priestley space...
متن کاملOn the Number of Join-irreducibles in a Congruence Representation of a Finite Distributive Lattice
For a finite lattice L, let EL denote the reflexive and transitive closure of the join-dependency relation on L, defined on the set J(L) of all join-irreducible elements of L. We characterize the relations of the form EL, as follows: Theorem. Let E be a quasi-ordering on a finite set P . Then the following conditions are equivalent: (i) There exists a finite lattice L such that 〈J(L),EL〉 is iso...
متن کاملDistributive Lattices with a given Skeleton
We present a construction of finite distributive lattices with a given skeleton. In the case of an H-irreducible skeleton K the construction provides all finite distributive lattices based on K, in particular the minimal one.
متن کامل